<?php
    deconnecterServeurBD($idConnexion);
?>